Lecture formelle ou participative ?

Logique mathématique et linguistique formelle

Présentation mise à disposition dans l'attente de la parution du volume aux éditions Cassini

Participative Biogeography-Based Optimization

Biogeography-Based Optimization (BBO) has recently gained interest of researchers due to its simplicity in implementation, efficiency and existence of very few parameters. The BBO algorithm is a new type of optimization technique based on biogeography concept. This population-based algorithm uses the idea of the migration strategy of animals or other species for solving optimization problems. t...

Participative Problem Solving

Everything can become art, everything can be studied scientifically.

"Towards « Participative » Multinationals"

Vérification Formelle des Processus Workflow Collaboratifs

In this paper, we present a method of verification of collaborative workflow processes based on model checking techniques. In particular, we propose to verify soundness properties of these processes using SPIN model checker. First we translate the adopted specification of workflows (i.e. the WF-net) to Promela which is the description language of models to be verified by SPIN. Then we express t...